Towards refinable choreographies
نویسندگان
چکیده
We investigate refinement in the context of choreographies. introduce refinable global choreographies allowing for underspecification protocols, whose interactions can be refined into actual protocols. Arbitrary refinements may spoil well-formedness , which are sufficient conditions that guarantee a protocol to implementable. typing discipline enforces typed Then we unveil relation among and their admissible terms an axiom scheme.
منابع مشابه
Towards a Theory of Web Service Choreographies
A fundamental promise of service oriented architecture (SOA) lies in the ease of integrating sharable information, processes, and other resources through interactions among the shared components that are modeled as web services. It is expected that not only the participating services are complex and have observable states, but the number of interacting services may be also large. Prior work on ...
متن کاملTowards the Integration of Ontologies with Service Choreographies
This paper discusses the integration of ontologies with service choreographies in view of recommending interest points to the modeler for model improvement. The concept is based on an ontology of recommendations (evaluated by metrics) attached to the elements of the model. The ontology and an associated knowledge base are used in order to extract correct recommendations (specified as textual an...
متن کاملTowards a More Expressive and Refinable Multiagent System Engineering Methodology
In this paper, we improve and extend the MaSE methodology to bridge the gaps in this methodology. First, we propose an improvement process and, based on this process, we report the discovered gaps and weaknesses in the methodology during different phases of case study life cycle. For removing the reported weaknesses, we introduce a "Role Schema" to document roles properties and the "Knowledge M...
متن کاملRefinable Subspaces of a Refinable Space
Local refinable finitely generated shift-invariant spaces play a significant role in many areas of approximation theory and geometric design. In this paper we present a new approach to the construction of such spaces. We begin with a refinable function ψ : R → Rm which is supported on [0, 1]. We are interested in spaces generated by a function φ : R → Rn built from the shifts of ψ.
متن کاملCompositional Choreographies
We propose a new programming model that supports a compositionality of choreographies. The key of our approach is the introduction of partial choreographies, which can mix global descriptions with communications among external peers. We prove that if two choreographies are composable, then the endpoints independently generated from each choreography are also composable, preserving their typabil...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of logical and algebraic methods in programming
سال: 2022
ISSN: ['2352-2208', '2352-2216']
DOI: https://doi.org/10.1016/j.jlamp.2022.100776